- formaler Beweis
- формальное доказательство
Немецко-русский математический словарь. 2013.
Немецко-русский математический словарь. 2013.
Keplersche Vermutung — Die Keplersche Vermutung ist eine Vermutung über die Packung von Kugeln im dreidimensionalen euklidischen Raum. Sie besagt, dass keine Anordnung von gleich großen Kugeln eine größere mittlere Dichte aufweist als die kubisch flächenzentrierte… … Deutsch Wikipedia
Formales System (Logik) — Die Artikel Formale Sprache, Formales System, Formales System (Logik) und Kalkül überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese… … Deutsch Wikipedia
Logikkalkül — Die Artikel Formale Sprache, Formales System, Formales System (Logik) und Kalkül überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese… … Deutsch Wikipedia
Infinite-Monkey-Theorem — Durch zufälliges Tippen von unendlicher Dauer auf einer Schreibmaschine werden mit Sicherheit alle Texte Shakespeares oder einer beliebigen Nationalbibliothek entstehen. Das Infinite Monkey Theorem (engl. infinite „unendlich“, monkey „Affe“ und… … Deutsch Wikipedia
Infinite Monkey Theorem — Durch zufälliges Tippen von unendlicher Dauer auf einer Schreibmaschine werden mit Sicherheit alle Texte Shakespeares oder diverser Nationalbibliotheken entstehen. Das Infinite Monkey Theorem (v. engl. infinite „unendlich“; monkey „Affe“; theorem … Deutsch Wikipedia
Infinite monkey theorem — Durch zufälliges Tippen von unendlicher Dauer auf einer Schreibmaschine werden mit Sicherheit alle Texte Shakespeares oder diverser Nationalbibliotheken entstehen. Das Infinite Monkey Theorem (v. engl. infinite „unendlich“; monkey „Affe“; theorem … Deutsch Wikipedia
Satz vom Affen — Durch zufälliges Tippen von unendlicher Dauer auf einer Schreibmaschine werden mit Sicherheit alle Texte Shakespeares oder diverser Nationalbibliotheken entstehen. Das Infinite Monkey Theorem (v. engl. infinite „unendlich“; monkey „Affe“; theorem … Deutsch Wikipedia
Theorem der endlos tippenden Affen — Durch zufälliges Tippen von unendlicher Dauer auf einer Schreibmaschine werden mit Sicherheit alle Texte Shakespeares oder diverser Nationalbibliotheken entstehen. Das Infinite Monkey Theorem (v. engl. infinite „unendlich“; monkey „Affe“; theorem … Deutsch Wikipedia
Unendlich-viele-Affen-Theorem — Durch zufälliges Tippen von unendlicher Dauer auf einer Schreibmaschine werden mit Sicherheit alle Texte Shakespeares oder diverser Nationalbibliotheken entstehen. Das Infinite Monkey Theorem (v. engl. infinite „unendlich“; monkey „Affe“; theorem … Deutsch Wikipedia
Unendlich-viele-Affen-Theorie — Durch zufälliges Tippen von unendlicher Dauer auf einer Schreibmaschine werden mit Sicherheit alle Texte Shakespeares oder diverser Nationalbibliotheken entstehen. Das Infinite Monkey Theorem (v. engl. infinite „unendlich“; monkey „Affe“; theorem … Deutsch Wikipedia
Computerbeweis — Als Computerbeweis bezeichnet man den Beweis einer Behauptung, das heißt einer mathematischen oder logischen Aussage, mit Hilfe eines Computerprogramms. Man verwendet den Begriff insbesondere für solche Beweise, die folgendes Schema aufweisen:… … Deutsch Wikipedia